Nonrelativizing Separations
نویسندگان
چکیده
We show that MAEXP, the exponential time version of the Merlin-Arthur class, does not have polynomial size circuits. This significantly improves the previous known result due to Kannan since we furthermore show that our result does not relativize. This is the first separation result in complexity theory that does not relativize. As a corollary to our separation result we also obtain that PEXP, the exponential time version of PP is not in P=poly.
منابع مشابه
Oracles versus Proof Techniques that Do Not Relativize
Oracle constructions have long been used to provide evidence that certain questions in complexity theory cannot be resolved using the usual techniques of simulation and diagonalization. However, the existence of nonrelativizing proof techniques seems to call this practice into question. This paper reviews the status of nonrelativizing proof techniques, and argues that many oracle constructions ...
متن کاملThe Role of Relativization in Complexity Theory
Several recent nonrelativizing results in the area of interactive proofs have caused many people to review the importance of relativization. In this paper we take a look at how complexity theorists use and misuse oracle results. We pay special attention to the new interactive proof systems and program checking results and try to understand why they do not relativize. We give some new results th...
متن کاملEngineering of Membrane Gas Separation Processes: State of The Art and Prospects
Membrane processes are today one of the key technologies for industrial gas separations and show growing interest for future use in sustainable production systems. Besides materials development, dedicated engineering methods are of major importance for the rigorous and most efficient design of membrane units and systems. Starting from approaches based on simplified hypotheses developed in the 5...
متن کاملA prospective cohort study of hospital separations among people who inject drugs in Australia: 2008–2013
OBJECTIVES Injecting drug use is a persistent behaviour that increases the risk of morbidities and mortality. We assessed the burden of hospital separations among people who inject drugs (PWID), the excess compared to the general population and characteristics of separations associated with frequent use. DESIGN Prospective cohort study. SETTING All public and private hospitals in Victoria. ...
متن کامل